Logique épistémique et philosophie des mathématiques
Identifieur interne : 000A59 ( Main/Exploration ); précédent : 000A58; suivant : 000A60Logique épistémique et philosophie des mathématiques
Auteurs : Thierry Martin [France] ; Paul Gochet ; Philippe De Rouilhan ; Philippe MonginSource :
Abstract
La logique du savoir-faire se réduit-elle à la logique du savoir ? Paul Gochet entend montrer qu'il faut répondre négativement à cette question. Pour cela, il compare les mérites respectifs des différentes logiques développées récemment pour analyser les rapports entre la connaissance et l'action (logique multimodale, calcul des situations, logique hybride) en s'appuyant sur une étude de cas qui fait office de banc d'essai. L'analyse de Philippe de Rouilhan cherche, quant à elle, à déterminer la place qui revient, de droit sinon de fait, dans l'architecture des mathématiques, à ce que les logiciens appellent, depuis un demi-siècle, la théorie des modèles. Il entreprend par là de compléter l'édifice des mathématiques qu'avait construit N. Bourbaki et, distinguant deux variantes différentes de cette théorie, revient sur les interprétations qu'en proposèrent généralement mathématiciens, logiciens ou philosophes pour les réfuter. Les questions que suscitent ces analyses donnent lieu, dans les deux cas, à une brève discussion permettant d'en éclairer les enjeux. Ces deux études explorent donc d'un côté l'architecture des sciences formelles, de l'autre la relation pensée formellement entre la connaissance et l'action. Elles constituent ainsi des contributions décisives dans le champ de la philosophie de la logique contemporaine.
Url:
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 000053
- to stream Hal, to step Curation: 000053
- to stream Hal, to step Checkpoint: 000044
- to stream Main, to step Merge: 000A67
- to stream Main, to step Curation: 000A59
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Logique épistémique et philosophie des mathématiques</title>
<author><name sortKey="Martin, Thierry" sort="Martin, Thierry" uniqKey="Martin T" first="Thierry" last="Martin">Thierry Martin</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-394421" status="INCOMING"> <orgName>EA2274 - Logiques de l'agir</orgName>
<desc> <address> <country key="FR"></country>
</address>
</desc>
<listRelation> <relation active="#struct-225605" type="direct"></relation>
<relation active="#struct-426438" type="indirect"></relation>
<relation name="EA2274" active="#struct-458810" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-225605" type="direct"><org type="laboratory" xml:id="struct-225605" status="VALID"> <idno type="IdRef">03168856X</idno>
<idno type="RNSR">199613834J</idno>
<orgName>Logiques de l'Agir - UFC</orgName>
<orgName type="acronym">LdA</orgName>
<desc> <address> <addrLine>UFR SLHS30, rue Mégevand 25030 BESANÇON Cedex (France)</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-fcomte.fr/pages/fr/menu1/recherche/la-recherche-a-l-ufc/ea-2274---philo-18229-7965.html</ref>
</desc>
<listRelation> <relation active="#struct-426438" type="direct"></relation>
<relation name="EA2274" active="#struct-458810" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-426438" type="indirect"><org type="regroupinstitution" xml:id="struct-426438" status="VALID"> <idno type="IdRef">200716271</idno>
<orgName>Université Bourgogne Franche-Comté</orgName>
<orgName type="acronym">UBFC</orgName>
<date type="start">2015-04-01</date>
<desc> <address> <country key="FR"></country>
</address>
<ref type="url">http://www.ubfc.fr</ref>
</desc>
</org>
</tutelle>
<tutelle name="EA2274" active="#struct-458810" type="indirect"><org type="institution" xml:id="struct-458810" status="VALID"> <idno type="IdRef">026403188</idno>
<idno type="ISNI">0000 0001 2188 3779 </idno>
<orgName>Université de Franche-Comté</orgName>
<orgName type="acronym">UFC</orgName>
<desc> <address> <country key="FR"></country>
</address>
<ref type="url">http://www.univ-fcomte.fr</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city" wicri:auto="siege">Besançon</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de Franche-Comté</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName>
</affiliation>
</author>
<author><name sortKey="Gochet, Paul" sort="Gochet, Paul" uniqKey="Gochet P" first="Paul" last="Gochet">Paul Gochet</name>
</author>
<author><name sortKey="De Rouilhan, Philippe" sort="De Rouilhan, Philippe" uniqKey="De Rouilhan P" first="Philippe" last="De Rouilhan">Philippe De Rouilhan</name>
</author>
<author><name sortKey="Mongin, Philippe" sort="Mongin, Philippe" uniqKey="Mongin P" first="Philippe" last="Mongin">Philippe Mongin</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">HAL</idno>
<idno type="RBID">Hal:hal-00471291</idno>
<idno type="halId">hal-00471291</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/hal-00471291</idno>
<idno type="url">https://hal.archives-ouvertes.fr/hal-00471291</idno>
<date when="2007">2007</date>
<idno type="wicri:Area/Hal/Corpus">000053</idno>
<idno type="wicri:Area/Hal/Curation">000053</idno>
<idno type="wicri:Area/Hal/Checkpoint">000044</idno>
<idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000044</idno>
<idno type="wicri:Area/Main/Merge">000A67</idno>
<idno type="wicri:Area/Main/Curation">000A59</idno>
<idno type="wicri:Area/Main/Exploration">000A59</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">Logique épistémique et philosophie des mathématiques</title>
<author><name sortKey="Martin, Thierry" sort="Martin, Thierry" uniqKey="Martin T" first="Thierry" last="Martin">Thierry Martin</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-394421" status="INCOMING"> <orgName>EA2274 - Logiques de l'agir</orgName>
<desc> <address> <country key="FR"></country>
</address>
</desc>
<listRelation> <relation active="#struct-225605" type="direct"></relation>
<relation active="#struct-426438" type="indirect"></relation>
<relation name="EA2274" active="#struct-458810" type="indirect"></relation>
</listRelation>
<tutelles><tutelle active="#struct-225605" type="direct"><org type="laboratory" xml:id="struct-225605" status="VALID"> <idno type="IdRef">03168856X</idno>
<idno type="RNSR">199613834J</idno>
<orgName>Logiques de l'Agir - UFC</orgName>
<orgName type="acronym">LdA</orgName>
<desc> <address> <addrLine>UFR SLHS30, rue Mégevand 25030 BESANÇON Cedex (France)</addrLine>
<country key="FR"></country>
</address>
<ref type="url">http://www.univ-fcomte.fr/pages/fr/menu1/recherche/la-recherche-a-l-ufc/ea-2274---philo-18229-7965.html</ref>
</desc>
<listRelation> <relation active="#struct-426438" type="direct"></relation>
<relation name="EA2274" active="#struct-458810" type="direct"></relation>
</listRelation>
</org>
</tutelle>
<tutelle active="#struct-426438" type="indirect"><org type="regroupinstitution" xml:id="struct-426438" status="VALID"> <idno type="IdRef">200716271</idno>
<orgName>Université Bourgogne Franche-Comté</orgName>
<orgName type="acronym">UBFC</orgName>
<date type="start">2015-04-01</date>
<desc> <address> <country key="FR"></country>
</address>
<ref type="url">http://www.ubfc.fr</ref>
</desc>
</org>
</tutelle>
<tutelle name="EA2274" active="#struct-458810" type="indirect"><org type="institution" xml:id="struct-458810" status="VALID"> <idno type="IdRef">026403188</idno>
<idno type="ISNI">0000 0001 2188 3779 </idno>
<orgName>Université de Franche-Comté</orgName>
<orgName type="acronym">UFC</orgName>
<desc> <address> <country key="FR"></country>
</address>
<ref type="url">http://www.univ-fcomte.fr</ref>
</desc>
</org>
</tutelle>
</tutelles>
</hal:affiliation>
<country>France</country>
<placeName><settlement type="city" wicri:auto="siege">Besançon</settlement>
<region type="region" nuts="2">Franche-Comté</region>
</placeName>
<orgName type="university">Université de Franche-Comté</orgName>
<orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName>
</affiliation>
</author>
<author><name sortKey="Gochet, Paul" sort="Gochet, Paul" uniqKey="Gochet P" first="Paul" last="Gochet">Paul Gochet</name>
</author>
<author><name sortKey="De Rouilhan, Philippe" sort="De Rouilhan, Philippe" uniqKey="De Rouilhan P" first="Philippe" last="De Rouilhan">Philippe De Rouilhan</name>
</author>
<author><name sortKey="Mongin, Philippe" sort="Mongin, Philippe" uniqKey="Mongin P" first="Philippe" last="Mongin">Philippe Mongin</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr">La logique du savoir-faire se réduit-elle à la logique du savoir ? Paul Gochet entend montrer qu'il faut répondre négativement à cette question. Pour cela, il compare les mérites respectifs des différentes logiques développées récemment pour analyser les rapports entre la connaissance et l'action (logique multimodale, calcul des situations, logique hybride) en s'appuyant sur une étude de cas qui fait office de banc d'essai. L'analyse de Philippe de Rouilhan cherche, quant à elle, à déterminer la place qui revient, de droit sinon de fait, dans l'architecture des mathématiques, à ce que les logiciens appellent, depuis un demi-siècle, la théorie des modèles. Il entreprend par là de compléter l'édifice des mathématiques qu'avait construit N. Bourbaki et, distinguant deux variantes différentes de cette théorie, revient sur les interprétations qu'en proposèrent généralement mathématiciens, logiciens ou philosophes pour les réfuter. Les questions que suscitent ces analyses donnent lieu, dans les deux cas, à une brève discussion permettant d'en éclairer les enjeux. Ces deux études explorent donc d'un côté l'architecture des sciences formelles, de l'autre la relation pensée formellement entre la connaissance et l'action. Elles constituent ainsi des contributions décisives dans le champ de la philosophie de la logique contemporaine.</div>
</front>
</TEI>
<affiliations><list><country><li>France</li>
</country>
<region><li>Franche-Comté</li>
</region>
<settlement><li>Besançon</li>
</settlement>
<orgName><li>Université de Bourgogne Franche-Comté</li>
<li>Université de Franche-Comté</li>
</orgName>
</list>
<tree><noCountry><name sortKey="De Rouilhan, Philippe" sort="De Rouilhan, Philippe" uniqKey="De Rouilhan P" first="Philippe" last="De Rouilhan">Philippe De Rouilhan</name>
<name sortKey="Gochet, Paul" sort="Gochet, Paul" uniqKey="Gochet P" first="Paul" last="Gochet">Paul Gochet</name>
<name sortKey="Mongin, Philippe" sort="Mongin, Philippe" uniqKey="Mongin P" first="Philippe" last="Mongin">Philippe Mongin</name>
</noCountry>
<country name="France"><region name="Franche-Comté"><name sortKey="Martin, Thierry" sort="Martin, Thierry" uniqKey="Martin T" first="Thierry" last="Martin">Thierry Martin</name>
</region>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000A59 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000A59 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Mathematiques |area= BourbakiV1 |flux= Main |étape= Exploration |type= RBID |clé= Hal:hal-00471291 |texte= Logique épistémique et philosophie des mathématiques }}
This area was generated with Dilib version V0.6.33. |